Testing the Electronic Throttle Control

In this report, we summarize our approach for testing the Electronic Throttle Control (ETC) system. We reformulate the ETC model based on the MATLAB/SIMULINK model provided by the Berkeley group. We specify the ETC model using the hybrid modeling language called CHARON. From the CHARON model, we generate test sequences based on the control-flow and data-flow criteria. These are transformed into test cases which may be used to test an implementation of the ETC system. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-02-11. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/174 Testing the Electronic Throttle Control* Hyo~mg S. Hong, Insup Lee, Na Young Lee, Martin Leucker, Oleg Sokolsky Department of Computer and Information Science, University of Pennsylvania, USA {hshong , lee, leeny , leucker , sokolsky}@saul . cis. upenn. edu Abstract In this report, we summarize our approach for testing the Electronic Throttle Control (ETC) system. We reformulate the ETC model bmed on the MATLAB/SIhfULINK model provided by the Berkeley group. We specify the ETC model using the hybrid modeling language called CHARON. From the CHARON model, we generate test sequences based on the control-flow and data-flow criteria. These are transformed into test cases which may be used to test an implementation of the ETC system.In this report, we summarize our approach for testing the Electronic Throttle Control (ETC) system. We reformulate the ETC model bmed on the MATLAB/SIhfULINK model provided by the Berkeley group. We specify the ETC model using the hybrid modeling language called CHARON. From the CHARON model, we generate test sequences based on the control-flow and data-flow criteria. These are transformed into test cases which may be used to test an implementation of the ETC system.